计算机与现代化 ›› 2012, Vol. 1 ›› Issue (6): 37-39.doi: 10.3969/j.issn.1006-2475.2012.06.011

• 软件工程 • 上一篇    下一篇

基于递推技术的算法设计方法的应用研究

张 园1,2,杨庆红1,胡 昊1   

  1. 1.江西师范大学计算机信息工程学院,江西 南昌 330022;2.南昌航空大学科技学院,江西 南昌 330034
  • 收稿日期:2012-03-12 修回日期:1900-01-01 出版日期:2012-06-14 发布日期:2012-06-14

Application Research on Algorithm Design Methods Based on Recursion Technique

ZHANG Yuan1,2, YANG Qing-hong1, HU Hao1   

  1. 1. College of Computer and Information Engineering, Jiangxi Normal University, Nanchang 330022, China;2. College of Science and Technology, Nanchang Hangkong University, Nanchang 330034, China
  • Received:2012-03-12 Revised:1900-01-01 Online:2012-06-14 Published:2012-06-14

摘要: 算法是计算机科学的核心,算法设计对于开发正确、高效的程序至关重要。基于递推技术的算法设计方法通过形式化推导保证算法的可靠性,同时能较好地提高算法程序的效率。本文通过两个实例,详细介绍基于递推技术的算法设计方法形式化推导算法程序的过程。

关键词: 算法设计方法, 递推关系, 程序规约

Abstract: Algorithm is the core of computer science. Algorithm design is very important for the development of correct and efficient software. The algorithm design method based on recursion technique can ensure the reliability of the algorithm and effectively improve the implementation efficiency by formal development. With the derivation of two examples, this article detailedly introduces the formal developing process of algorithm program by the algorithm design method based on recursion technique.

Key words: algorithmic design method, recurrence relation, program statute

中图分类号: